The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
نویسندگان
چکیده
This short paper presents a prototype tool called SANTE (Static ANalysis and TEsting) implementing an original method combining value analysis, program slicing and structural test generation for verification of C programs. First, value analysis is called to generate alarms when it can not guarantee the absence of errors. Then the program is reduced by program slicing. Alarmguided test generation is then used to analyze the simplified program(s) in order to confirm or reject alarms.
منابع مشابه
Combining Static Analysis and Test Generation for C Program Debugging
This paper presents our ongoing work on a tool prototype called SANTE (Static ANalysis andTEsting), implementing a combination of static analysis and structural program testing for detection of run-time errors in C programs. First, a static analysis tool (Frama-C) is called to generate alarms when it cannot ensure the absence of run-time errors. Second, these alarms guide a structural test gene...
متن کاملSNITH: A Heuristic Search-based Interrupt Testing Tool for Wireless Sensor Nodes
Software defects in wireless sensor networks caused by asynchronous hardware interrupts that are generated by sensors are exceedingly difficult to debug. SNITH presents a solution to the debugging problem that relies on control flow graphs, program slicing, and heuristically generated test data. The heuristic search-based method is key to the success of the study as it provides intelligence to ...
متن کاملAn Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software
Program slicing is a program analysis and transformation technique that has been successfully applied in a wide range of applications including program comprehension, debugging, maintenance, testing, and verification. However, there are only a few full-featured implementations of program slicing that are available for industrial applications or academic research. In particular, very little tool...
متن کاملDebugging with Dynamic Slicing and Backtracking
Programmers spend considerable time debugging code. Symbolic debuggers provide some help but the task remains complex and difficult. Other than breakpoints and tracing, these tools provide little high-level help. Programmers must perform many tasks manually that the tools could perform automatically, such as finding which statements in the program affect the value of an output variable for a gi...
متن کاملProgram Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and identify faults. Therefore, reducing the effort of debugging process is an important step towards efficient software evolution. Program slicing, especially dynamic slicing, has been proposed to efficiently localize faults ...
متن کامل